home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 100%
| dexvert
| Texinfo Document (document/texInfo)
| magic
| Supported |
| 1%
| dexvert
| Corel 10 Texture (image/corel10Texture)
| ext
| Unsupported |
| 1%
| dexvert
| Croteam texture file (image/croteamTextureFile)
| ext
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| TeX document text
| default
| |
| 99%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 73 75 62 73 75 62 73 | 65 63 74 69 6f 6e 7b 54 |\subsubs|ection{T|
|00000010| 68 65 20 7b 5c 74 74 20 | 61 34 7d 20 61 6e 64 20 |he {\tt |a4} and |
|00000020| 7b 5c 74 74 20 61 34 77 | 69 64 65 7d 20 53 74 79 |{\tt a4w|ide} Sty|
|00000030| 6c 65 20 4f 70 74 69 6f | 6e 73 7d 0a 0a 42 79 20 |le Optio|ns}..By |
|00000040| 64 65 66 61 75 6c 74 2c | 20 74 68 65 20 6f 75 74 |default,| the out|
|00000050| 70 75 74 20 70 61 67 65 | 20 69 73 20 64 65 73 69 |put page| is desi|
|00000060| 67 6e 65 64 20 74 6f 20 | 62 65 20 70 72 69 6e 74 |gned to |be print|
|00000070| 65 64 20 6f 6e 20 55 53 | 20 70 61 70 65 72 2e 0a |ed on US| paper..|
|00000080| 54 68 65 20 7b 5c 74 74 | 20 61 34 7d 20 61 6e 64 |The {\tt| a4} and|
|00000090| 20 7b 5c 74 74 20 61 34 | 77 69 64 65 7d 20 73 74 | {\tt a4|wide} st|
|000000a0| 79 6c 65 20 6f 70 74 69 | 6f 6e 73 20 72 65 73 75 |yle opti|ons resu|
|000000b0| 6c 74 20 69 6e 20 6f 75 | 74 70 75 74 0a 74 68 61 |lt in ou|tput.tha|
|000000c0| 74 20 66 69 74 73 20 62 | 65 74 74 65 72 20 6f 6e |t fits b|etter on|
|000000d0| 74 6f 20 41 34 20 73 69 | 7a 65 20 70 61 67 65 73 |to A4 si|ze pages|
|000000e0| 2e 0a 49 74 20 69 73 20 | 73 6f 6d 65 74 69 6d 65 |..It is |sometime|
|000000f0| 73 20 63 6f 6e 76 65 6e | 69 65 6e 74 20 74 6f 20 |s conven|ient to |
|00000100| 62 65 20 61 62 6c 65 20 | 74 6f 20 66 69 74 20 6d |be able |to fit m|
|00000110| 6f 72 65 20 74 65 78 74 | 20 6f 6e 74 6f 20 61 6e |ore text| onto an|
|00000120| 20 41 34 20 70 61 67 65 | 2e 0a 54 68 65 20 7b 5c | A4 page|..The {\|
|00000130| 74 74 20 61 34 77 69 64 | 65 7d 20 6f 70 74 69 6f |tt a4wid|e} optio|
|00000140| 6e 20 61 63 63 6f 6d 70 | 6c 69 73 68 65 73 20 74 |n accomp|lishes t|
|00000150| 68 69 73 20 62 79 20 75 | 73 69 6e 67 20 6e 61 72 |his by u|sing nar|
|00000160| 72 6f 77 65 72 20 6d 61 | 72 67 69 6e 73 2e 0a 0a |rower ma|rgins...|
|00000170| 5c 73 75 62 73 75 62 73 | 65 63 74 69 6f 6e 7b 54 |\subsubs|ection{T|
|00000180| 68 65 20 7b 5c 74 74 20 | 74 67 72 69 6e 64 7d 20 |he {\tt |tgrind} |
|00000190| 53 74 79 6c 65 20 4f 70 | 74 69 6f 6e 7d 7b 5c 6c |Style Op|tion}{\l|
|000001a0| 61 62 65 6c 7b 74 61 67 | 72 69 6e 64 7d 7d 0a 0a |abel{tag|rind}}..|
|000001b0| 49 74 20 69 73 20 75 73 | 65 66 75 6c 20 74 6f 20 |It is us|eful to |
|000001c0| 62 65 20 61 62 6c 65 20 | 74 6f 20 69 6e 63 6c 75 |be able |to inclu|
|000001d0| 64 65 20 70 72 6f 67 72 | 61 6d 20 66 72 61 67 6d |de progr|am fragm|
|000001e0| 65 6e 74 73 20 61 73 20 | 66 69 67 75 72 65 73 20 |ents as |figures |
|000001f0| 69 6e 20 61 0a 74 65 78 | 74 2e 20 20 54 68 65 20 |in a.tex|t. The |
|00000200| 7b 5c 74 74 20 74 67 72 | 69 6e 64 7d 20 73 74 79 |{\tt tgr|ind} sty|
|00000210| 6c 65 20 6f 70 74 69 6f | 6e 20 63 61 6e 20 62 65 |le optio|n can be|
|00000220| 20 75 73 65 64 20 74 6f | 20 61 63 63 6f 6d 70 6c | used to| accompl|
|00000230| 69 73 68 20 74 68 69 73 | 0a 66 61 69 72 6c 79 20 |ish this|.fairly |
|00000240| 70 61 69 6e 6c 65 73 73 | 6c 79 20 62 79 20 64 65 |painless|ly by de|
|00000250| 66 69 6e 69 6e 67 20 74 | 68 65 20 5c 76 65 72 62 |fining t|he \verb|
|00000260| 7c 5c 74 61 67 72 69 6e | 64 7c 20 63 6f 6d 6d 61 ||\tagrin|d| comma|
|00000270| 6e 64 2e 20 0a 0a 54 68 | 65 20 5c 76 65 72 62 7c |nd. ..Th|e \verb||
|00000280| 5c 74 61 67 72 69 6e 64 | 7c 20 63 6f 6d 6d 61 6e |\tagrind|| comman|
|00000290| 64 20 68 61 73 20 74 68 | 65 20 66 6f 6c 6c 6f 77 |d has th|e follow|
|000002a0| 69 6e 67 20 70 72 6f 66 | 6f 72 6d 61 3a 0a 5c 62 |ing prof|orma:.\b|
|000002b0| 65 67 69 6e 7b 69 74 65 | 6d 69 7a 65 7d 20 5c 74 |egin{ite|mize} \t|
|000002c0| 74 0a 5c 69 74 65 6d 5b | 5d 0a 5c 76 65 72 62 7c |t.\item[|].\verb||
|000002d0| 5c 74 61 67 72 69 6e 64 | 2a 7c 5b 7b 5c 69 74 20 |\tagrind|*|[{\it |
|000002e0| 6c 6f 63 5c 2f 7d 5d 5c | 7b 7b 5c 69 74 20 66 69 |loc\/}]\|{{\it fi|
|000002f0| 6c 65 5c 2f 7d 5c 7d 5c | 7b 7b 5c 69 74 20 63 61 |le\/}\}\|{{\it ca|
|00000300| 70 74 69 6f 6e 20 5c 2f | 7d 5c 7d 5c 7b 7b 5c 69 |ption \/|}\}\{{\i|
|00000310| 74 20 0a 6c 61 62 65 6c | 20 5c 2f 7d 5c 7d 0a 5c |t .label| \/}\}.\|
|00000320| 65 6e 64 7b 69 74 65 6d | 69 7a 65 7d 0a 0a 41 73 |end{item|ize}..As|
|00000330| 20 75 73 75 61 6c 2c 0a | 5c 62 65 67 69 6e 7b 69 | usual,.|\begin{i|
|00000340| 74 65 6d 69 7a 65 7d 0a | 5c 69 74 65 6d 20 69 6e |temize}.|\item in|
|00000350| 20 74 77 6f 2d 63 6f 6c | 75 6d 6e 20 66 6f 72 6d | two-col|umn form|
|00000360| 61 74 2c 20 74 68 65 20 | 6f 72 64 69 6e 61 72 79 |at, the |ordinary|
|00000370| 20 66 6f 72 6d 20 70 72 | 6f 64 75 63 65 73 20 61 | form pr|oduces a|
|00000380| 0a 73 69 6e 67 6c 65 2d | 63 6f 6c 75 6d 6e 20 6c |.single-|column l|
|00000390| 69 73 74 69 6e 67 20 61 | 6e 64 20 74 68 65 20 24 |isting a|nd the $|
|000003a0| 5c 61 73 74 24 2d 66 6f | 72 6d 73 20 70 72 6f 64 |\ast$-fo|rms prod|
|000003b0| 75 63 65 73 20 61 20 64 | 6f 75 62 6c 65 2d 63 6f |uces a d|ouble-co|
|000003c0| 6c 75 6d 6e 20 6c 69 73 | 74 69 6e 67 3b 0a 0a 5c |lumn lis|ting;..\|
|000003d0| 69 74 65 6d 20 7b 5c 69 | 74 20 6c 6f 63 5c 2f 7d |item {\i|t loc\/}|
|000003e0| 0a 69 73 20 61 20 73 65 | 71 75 65 6e 63 65 20 6f |.is a se|quence o|
|000003f0| 66 20 6f 6e 65 20 74 6f | 20 66 6f 75 72 20 6f 66 |f one to| four of|
|00000400| 20 74 68 65 20 6c 65 74 | 74 65 72 73 20 5c 76 65 | the let|ters \ve|
|00000410| 72 62 7c 68 7c 20 28 7b | 5c 69 74 20 68 65 72 65 |rb|h| ({|\it here|
|00000420| 5c 2f 7d 29 2c 0a 5c 76 | 65 72 62 7c 74 7c 20 28 |\/}),.\v|erb|t| (|
|00000430| 7b 5c 69 74 20 74 6f 70 | 5c 2f 7d 29 2c 20 5c 76 |{\it top|\/}), \v|
|00000440| 65 72 62 7c 62 7c 20 28 | 7b 5c 69 74 20 62 6f 74 |erb|b| (|{\it bot|
|00000450| 74 6f 6d 5c 2f 7d 29 20 | 61 6e 64 20 5c 76 65 72 |tom\/}) |and \ver|
|00000460| 62 7c 70 7c 20 28 7b 5c | 69 74 0a 70 61 67 65 5c |b|p| ({\|it.page\|
|00000470| 2f 7d 29 20 73 70 65 63 | 69 66 79 69 6e 67 20 77 |/}) spec|ifying w|
|00000480| 68 65 72 65 20 74 68 65 | 20 6c 69 73 74 69 6e 67 |here the| listing|
|00000490| 20 6d 61 79 20 62 65 20 | 70 6c 61 63 65 64 2e 20 | may be |placed. |
|000004a0| 0a 0a 5c 69 74 65 6d 20 | 7b 5c 69 74 20 66 69 6c |..\item |{\it fil|
|000004b0| 65 7d 20 73 70 65 63 69 | 66 69 65 73 20 74 68 65 |e} speci|fies the|
|000004c0| 20 66 69 6c 65 20 66 72 | 6f 6d 20 77 68 69 63 68 | file fr|om which|
|000004d0| 20 74 68 65 20 67 72 6f | 75 6e 64 20 6c 69 73 74 | the gro|und list|
|000004e0| 69 6e 67 0a 69 73 20 74 | 6f 20 62 65 20 74 61 6b |ing.is t|o be tak|
|000004f0| 65 6e 2e 0a 0a 5c 69 74 | 65 6d 20 7b 5c 69 74 20 |en...\it|em {\it |
|00000500| 63 61 70 74 69 6f 6e 7d | 20 70 72 6f 64 75 63 65 |caption}| produce|
|00000510| 73 20 61 20 6e 75 6d 62 | 65 72 65 64 20 63 61 70 |s a numb|ered cap|
|00000520| 74 69 6f 6e 2e 0a 0a 5c | 69 74 65 6d 20 7b 5c 69 |tion...\|item {\i|
|00000530| 74 20 6c 61 62 65 6c 7d | 20 61 73 73 69 67 6e 73 |t label}| assigns|
|00000540| 20 61 20 6c 61 62 65 6c | 20 74 6f 20 74 68 65 20 | a label| to the |
|00000550| 6c 69 73 74 69 6e 67 2c | 20 73 6f 20 74 68 61 74 |listing,| so that|
|00000560| 20 69 74 20 6d 61 79 20 | 62 65 0a 72 65 66 65 72 | it may |be.refer|
|00000570| 72 65 64 20 74 6f 20 62 | 79 20 6d 65 61 6e 73 20 |red to b|y means |
|00000580| 74 6f 20 74 68 65 20 5c | 76 65 72 62 7c 5c 72 65 |to the \|verb|\re|
|00000590| 66 7b 7c 7b 5c 69 74 20 | 6c 61 62 65 6c 5c 2f 7d |f{|{\it |label\/}|
|000005a0| 5c 76 65 72 62 7c 7d 7c | 20 63 6f 6d 6d 61 6e 64 |\verb|}|| command|
|000005b0| 2e 0a 0a 5c 65 6e 64 7b | 69 74 65 6d 69 7a 65 7d |...\end{|itemize}|
|000005c0| 0a 0a 54 68 65 20 6c 69 | 73 74 69 6e 67 20 66 69 |..The li|sting fi|
|000005d0| 6c 65 20 73 68 6f 75 6c | 64 20 62 65 20 67 65 6e |le shoul|d be gen|
|000005e0| 65 72 61 74 65 64 20 75 | 73 69 6e 67 20 7b 5c 74 |erated u|sing {\t|
|000005f0| 74 20 74 67 72 69 6e 64 | 7d 20 61 6e 64 20 72 65 |t tgrind|} and re|
|00000600| 6d 6f 76 69 6e 67 0a 74 | 68 65 20 66 69 72 73 74 |moving.t|he first|
|00000610| 20 61 6e 64 20 6c 61 73 | 74 20 6c 69 6e 65 73 20 | and las|t lines |
|00000620| 6f 66 20 74 68 65 20 72 | 65 73 75 6c 74 69 6e 67 |of the r|esulting|
|00000630| 20 66 69 6c 65 2e 20 46 | 6f 72 20 65 78 61 6d 70 | file. F|or examp|
|00000640| 6c 65 2c 20 69 66 20 74 | 68 65 20 43 0a 73 6f 75 |le, if t|he C.sou|
|00000650| 72 63 65 20 66 69 6c 65 | 20 7b 5c 74 74 20 66 69 |rce file| {\tt fi|
|00000660| 6c 65 2e 63 7d 20 77 65 | 72 65 20 74 6f 20 62 65 |le.c} we|re to be|
|00000670| 20 75 73 65 64 20 61 73 | 20 61 20 6c 69 73 74 69 | used as| a listi|
|00000680| 6e 67 2c 0a 5c 62 65 67 | 69 6e 7b 76 65 72 62 61 |ng,.\beg|in{verba|
|00000690| 74 69 6d 7d 0a 20 20 20 | 20 20 74 67 72 69 6e 64 |tim}. | tgrind|
|000006a0| 20 2d 66 20 2d 6c 63 20 | 66 69 6c 65 2e 63 20 7c | -f -lc |file.c ||
|000006b0| 20 73 65 64 20 2d 65 20 | 31 64 20 2d 65 20 5c 24 | sed -e |1d -e \$|
|000006c0| 64 20 3e 66 69 6c 65 2e | 74 65 78 0a 5c 65 6e 64 |d >file.|tex.\end|
|000006d0| 7b 76 65 72 62 61 74 69 | 6d 7d 0a 77 6f 75 6c 64 |{verbati|m}.would|
|000006e0| 20 67 65 6e 65 72 61 74 | 65 20 61 20 66 69 6c 65 | generat|e a file|
|000006f0| 20 7b 5c 74 74 20 66 69 | 6c 65 2e 74 65 78 7d 20 | {\tt fi|le.tex} |
|00000700| 73 75 69 74 61 62 6c 65 | 20 66 6f 72 20 75 73 65 |suitable| for use|
|00000710| 0a 77 69 74 68 20 5c 76 | 65 72 62 7c 74 61 67 72 |.with \v|erb|tagr|
|00000720| 69 6e 64 7c 2e 20 46 6f | 72 20 65 78 61 6d 70 6c |ind|. Fo|r exampl|
|00000730| 65 2c 0a 5c 62 65 67 69 | 6e 7b 76 65 72 62 61 74 |e,.\begi|n{verbat|
|00000740| 69 6d 7d 0a 5c 74 61 67 | 72 69 6e 64 7b 66 69 6c |im}.\tag|rind{fil|
|00000750| 65 7d 7b 54 68 69 73 20 | 69 73 20 61 6e 20 65 78 |e}{This |is an ex|
|00000760| 61 6d 70 6c 65 7d 7b 65 | 67 7d 0a 5c 65 6e 64 7b |ample}{e|g}.\end{|
|00000770| 76 65 72 62 61 74 69 6d | 7d 0a 0a 5c 73 75 62 73 |verbatim|}..\subs|
|00000780| 75 62 73 65 63 74 69 6f | 6e 7b 54 68 65 20 7b 5c |ubsectio|n{The {\|
|00000790| 74 74 20 73 66 77 6d 61 | 63 7d 20 53 74 79 6c 65 |tt sfwma|c} Style|
|000007a0| 20 4f 70 74 69 6f 6e 7d | 0a 0a 54 68 65 20 7b 5c | Option}|..The {\|
|000007b0| 74 74 20 73 66 77 6d 61 | 63 7d 20 73 74 79 6c 65 |tt sfwma|c} style|
|000007c0| 20 6f 70 74 69 6f 6e 20 | 64 65 66 69 6e 65 73 20 | option |defines |
|000007d0| 61 20 73 65 74 20 6f 66 | 20 6d 61 63 72 6f 73 20 |a set of| macros |
|000007e0| 77 68 69 63 68 20 61 72 | 65 0a 75 73 65 66 75 6c |which ar|e.useful|
|000007f0| 20 77 68 65 6e 20 77 72 | 69 74 69 6e 67 20 70 72 | when wr|iting pr|
|00000800| 6f 67 72 61 6d 20 64 6f | 63 75 6d 65 6e 74 61 74 |ogram do|cumentat|
|00000810| 69 6f 6e 2e 20 20 54 68 | 65 20 5c 76 65 72 62 7c |ion. Th|e \verb||
|00000820| 5c 70 67 6d 7b 7c 7b 5c | 69 74 0a 70 72 6f 67 72 |\pgm{|{\|it.progr|
|00000830| 61 6d 5c 2f 7d 5c 76 65 | 72 62 7c 7d 7c 20 63 6f |am\/}\ve|rb|}| co|
|00000840| 6d 6d 61 6e 64 20 65 78 | 70 65 63 74 73 20 61 20 |mmand ex|pects a |
|00000850| 70 72 6f 67 72 61 6d 20 | 6e 61 6d 65 20 61 73 20 |program |name as |
|00000860| 61 6e 20 61 72 67 75 6d | 65 6e 74 2e 0a 54 68 65 |an argum|ent..The|
|00000870| 20 6e 61 6d 65 20 69 6e | 20 70 72 69 6e 74 65 64 | name in| printed|
|00000880| 20 28 69 6e 20 69 74 61 | 6c 69 63 73 29 20 61 6e | (in ita|lics) an|
|00000890| 64 20 61 6e 20 69 6e 64 | 65 78 20 65 6e 74 72 79 |d an ind|ex entry|
|000008a0| 20 69 73 20 6d 61 64 65 | 20 66 6f 72 20 69 74 2e | is made| for it.|
|000008b0| 0a 53 69 6d 69 6c 61 72 | 6c 79 2c 20 74 68 65 20 |.Similar|ly, the |
|000008c0| 5c 76 65 72 62 7c 5c 6d | 61 6e 7b 7c 7b 5c 69 74 |\verb|\m|an{|{\it|
|000008d0| 20 70 72 6f 67 72 61 6d | 5c 2f 7d 5c 76 65 72 62 | program|\/}\verb|
|000008e0| 7c 7d 28 7c 7b 5c 69 74 | 0a 73 65 63 74 69 6f 6e ||}(|{\it|.section|
|000008f0| 5c 2f 7d 5c 76 65 72 62 | 7c 29 7c 20 63 6f 6d 6d |\/}\verb||)| comm|
|00000900| 61 6e 64 20 6d 61 79 20 | 62 65 20 75 73 65 64 20 |and may |be used |
|00000910| 74 6f 20 70 72 6f 64 75 | 63 65 20 72 65 66 65 72 |to produ|ce refer|
|00000920| 65 6e 63 65 73 20 74 6f | 0a 6d 61 6e 75 61 6c 20 |ences to|.manual |
|00000930| 70 61 67 65 20 65 6e 74 | 72 69 65 73 2e 0a 54 68 |page ent|ries..Th|
|00000940| 65 20 5c 76 65 72 62 7c | 5c 61 72 67 7b 7c 7b 5c |e \verb||\arg{|{\|
|00000950| 69 74 20 61 72 67 75 6d | 65 6e 74 5c 2f 7d 5c 76 |it argum|ent\/}\v|
|00000960| 65 72 62 7c 7d 7c 2c 20 | 5c 76 65 72 62 7c 5c 73 |erb|}|, |\verb|\s|
|00000970| 77 69 74 63 68 7b 7c 7b | 5c 69 74 0a 73 77 69 74 |witch{|{|\it.swit|
|00000980| 63 68 5c 2f 7d 5c 76 65 | 72 62 7c 7d 7c 20 61 6e |ch\/}\ve|rb|}| an|
|00000990| 64 20 5c 76 65 72 62 7c | 5c 66 69 6c 65 7b 7c 7b |d \verb||\file{|{|
|000009a0| 5c 69 74 20 66 69 6c 65 | 5c 2f 7d 5c 76 65 72 62 |\it file|\/}\verb|
|000009b0| 7c 7d 7c 20 63 6f 6d 6d | 61 6e 64 73 20 6d 61 79 ||}| comm|ands may|
|000009c0| 20 62 65 0a 75 73 65 64 | 20 77 68 65 6e 20 72 65 | be.used| when re|
|000009d0| 66 65 72 72 69 6e 67 20 | 74 6f 20 70 72 6f 67 72 |ferring |to progr|
|000009e0| 61 6d 20 61 72 67 75 6d | 65 6e 74 73 20 61 6e 64 |am argum|ents and|
|000009f0| 20 73 77 69 74 63 68 65 | 73 20 20 61 6e 64 20 74 | switche|s and t|
|00000a00| 6f 0a 66 69 6c 65 6e 61 | 6d 65 73 2e 20 54 68 65 |o.filena|mes. The|
|00000a10| 73 65 20 70 72 6f 64 75 | 63 65 20 6e 6f 20 69 6e |se produ|ce no in|
|00000a20| 64 65 78 20 65 6e 74 72 | 79 2e 0a 0a 54 68 69 73 |dex entr|y...This|
|00000a30| 20 73 74 79 6c 65 20 61 | 6c 73 6f 20 64 65 66 69 | style a|lso defi|
|00000a40| 6e 65 73 20 61 20 6e 75 | 6d 62 65 72 20 6f 66 20 |nes a nu|mber of |
|00000a50| 63 6f 6d 6d 6f 6e 20 70 | 72 6f 67 72 61 6d 20 6e |common p|rogram n|
|00000a60| 61 6d 65 73 20 73 75 63 | 68 20 61 73 0a 5c 6c 61 |ames suc|h as.\la|
|00000a70| 74 65 78 2f 2c 20 5c 73 | 6c 69 74 65 78 2f 2c 20 |tex/, \s|litex/, |
|00000a80| 65 74 63 2e 20 20 54 68 | 65 73 65 20 61 72 65 20 |etc. Th|ese are |
|00000a90| 70 72 6f 64 75 63 65 64 | 20 62 79 20 6d 65 61 6e |produced| by mean|
|00000aa0| 73 20 6f 66 0a 5c 76 65 | 72 62 7c 5c 4c 61 54 65 |s of.\ve|rb|\LaTe|
|00000ab0| 58 7c 2c 20 5c 76 65 72 | 62 7c 5c 53 4c 69 54 65 |X|, \ver|b|\SLiTe|
|00000ac0| 58 7c 20 63 6f 6d 6d 61 | 6e 64 73 20 61 6e 64 20 |X| comma|nds and |
|00000ad0| 69 6e 64 65 78 65 64 2e | 20 20 0a 0a 53 75 67 67 |indexed.| ..Sugg|
|00000ae0| 65 73 74 69 6f 6e 73 20 | 66 6f 72 20 61 64 64 69 |estions |for addi|
|00000af0| 74 69 6f 6e 73 20 74 6f | 20 74 68 65 20 6c 69 73 |tions to| the lis|
|00000b00| 74 20 6f 66 20 64 65 66 | 69 6e 65 64 20 70 72 6f |t of def|ined pro|
|00000b10| 67 72 61 6d 20 6e 61 6d | 65 73 20 61 72 65 0a 77 |gram nam|es are.w|
|00000b20| 65 6c 63 6f 6d 65 2e 0a | 0a 5c 73 75 62 73 75 62 |elcome..|.\subsub|
|00000b30| 73 65 63 74 69 6f 6e 7b | 54 68 65 20 7b 5c 74 74 |section{|The {\tt|
|00000b40| 20 74 72 61 64 65 6d 61 | 72 6b 7d 20 53 74 79 6c | tradema|rk} Styl|
|00000b50| 65 20 4f 70 74 69 6f 6e | 7d 0a 0a 54 68 65 20 7b |e Option|}..The {|
|00000b60| 5c 74 74 20 74 72 61 64 | 65 6d 61 72 6b 7d 20 73 |\tt trad|emark} s|
|00000b70| 74 79 6c 65 20 6f 70 74 | 69 6f 6e 20 64 65 66 69 |tyle opt|ion defi|
|00000b80| 6e 65 73 20 61 20 6e 75 | 6d 62 65 72 20 6f 66 20 |nes a nu|mber of |
|00000b90| 74 72 61 64 65 6d 61 72 | 6b 73 20 61 6e 64 0a 74 |trademar|ks and.t|
|00000ba0| 72 61 64 65 20 6e 61 6d | 65 73 2e 20 20 46 6f 72 |rade nam|es. For|
|00000bb0| 20 65 78 61 6d 70 6c 65 | 2c 20 5c 55 6e 69 78 2f | example|, \Unix/|
|00000bc0| 20 28 6e 6f 74 65 20 74 | 68 65 20 61 75 74 6f 6d | (note t|he autom|
|00000bd0| 61 74 69 63 61 6c 6c 79 | 20 64 65 66 69 6e 65 64 |atically| defined|
|00000be0| 0a 66 6f 6f 74 6e 6f 74 | 65 29 20 77 61 73 20 70 |.footnot|e) was p|
|00000bf0| 72 6f 64 75 63 65 64 20 | 62 79 20 61 20 5c 76 65 |roduced |by a \ve|
|00000c00| 72 62 7c 5c 55 6e 69 78 | 2f 7c 20 63 6f 6d 6d 61 |rb|\Unix|/| comma|
|00000c10| 6e 64 2e 20 20 4e 6f 74 | 65 20 74 68 61 74 20 74 |nd. Not|e that t|
|00000c20| 68 65 72 65 0a 69 73 20 | 6e 6f 20 6e 65 65 64 20 |here.is |no need |
|00000c30| 74 6f 20 61 70 70 65 6e | 64 20 5c 76 65 72 62 2a |to appen|d \verb*|
|00000c40| 7c 5c 20 7c 20 6f 72 20 | 5c 76 65 72 62 7c 7b 7d ||\ | or |\verb|{}|
|00000c50| 7c 20 74 6f 20 70 72 65 | 76 65 6e 74 20 74 68 65 || to pre|vent the|
|00000c60| 0a 73 77 61 6c 6c 6f 77 | 69 6e 67 20 75 70 20 6f |.swallow|ing up o|
|00000c70| 66 20 73 75 63 63 65 65 | 64 69 6e 67 20 73 70 61 |f succee|ding spa|
|00000c80| 63 65 73 2e 0a 0a 53 75 | 67 67 65 73 74 69 6f 6e |ces...Su|ggestion|
|00000c90| 73 20 66 6f 72 20 61 64 | 64 69 74 69 6f 6e 73 20 |s for ad|ditions |
|00000ca0| 74 6f 20 74 68 65 20 6c | 69 73 74 20 6f 66 20 74 |to the l|ist of t|
|00000cb0| 72 61 64 65 6d 61 72 6b | 73 20 61 72 65 20 77 65 |rademark|s are we|
|00000cc0| 6c 63 6f 6d 65 2e 0a 0a | 5c 73 75 62 73 75 62 73 |lcome...|\subsubs|
|00000cd0| 65 63 74 69 6f 6e 7b 54 | 68 65 20 7b 5c 74 74 20 |ection{T|he {\tt |
|00000ce0| 6c 63 75 73 74 6f 6d 7d | 20 53 74 79 6c 65 20 4f |lcustom}| Style O|
|00000cf0| 70 74 69 6f 6e 7d 0a 0a | 54 68 69 73 20 73 74 79 |ption}..|This sty|
|00000d00| 6c 65 20 63 6f 6e 74 61 | 69 6e 73 20 61 20 77 68 |le conta|ins a wh|
|00000d10| 6f 6c 65 20 62 75 6e 63 | 68 20 6f 66 20 75 73 65 |ole bunc|h of use|
|00000d20| 66 75 6c 20 6c 69 74 74 | 6c 65 20 63 6f 6d 6d 61 |ful litt|le comma|
|00000d30| 6e 64 0a 64 65 66 69 6e | 69 74 69 6f 6e 73 2e 20 |nd.defin|itions. |
|00000d40| 20 54 68 65 20 5c 76 65 | 72 62 7c 5c 69 6e 70 75 | The \ve|rb|\inpu|
|00000d50| 74 76 65 72 62 61 74 69 | 6d 7b 7c 7b 5c 69 74 20 |tverbati|m{|{\it |
|00000d60| 66 69 6c 65 5c 2f 7d 5c | 76 65 72 62 7c 7d 7c 0a |file\/}\|verb|}|.|
|00000d70| 63 6f 6d 6d 61 6e 64 20 | 69 6e 73 65 72 74 73 20 |command |inserts |
|00000d80| 74 68 65 20 66 69 6c 65 | 20 69 6e 20 76 65 72 62 |the file| in verb|
|00000d90| 61 74 69 6d 20 6d 6f 64 | 65 2e 20 20 48 6f 77 65 |atim mod|e. Howe|
|00000da0| 76 65 72 2c 20 69 74 20 | 69 73 20 75 73 75 61 6c |ver, it |is usual|
|00000db0| 6c 79 0a 62 65 74 74 65 | 72 20 74 6f 20 75 73 65 |ly.bette|r to use|
|00000dc0| 20 74 68 65 20 5c 76 65 | 72 62 7c 5c 74 61 67 72 | the \ve|rb|\tagr|
|00000dd0| 69 6e 64 7c 20 63 6f 6d | 6d 61 6e 64 20 64 65 73 |ind| com|mand des|
|00000de0| 63 72 69 62 65 64 20 69 | 6e 20 73 65 63 74 69 6f |cribed i|n sectio|
|00000df0| 6e 0a 5c 72 65 66 7b 74 | 61 67 72 69 6e 64 7d 20 |n.\ref{t|agrind} |
|00000e00| 66 6f 72 20 74 68 69 73 | 20 70 75 72 70 6f 73 65 |for this| purpose|
|00000e10| 2e 20 20 41 20 6e 75 6d | 62 65 72 20 6f 66 20 66 |. A num|ber of f|
|00000e20| 75 72 74 68 65 72 20 63 | 6f 6d 6d 61 6e 64 73 0a |urther c|ommands.|
|00000e30| 70 72 6f 76 69 64 65 20 | 61 20 63 6c 65 61 6e 20 |provide |a clean |
|00000e40| 77 61 79 20 6f 66 20 69 | 6e 74 72 6f 64 75 63 69 |way of i|ntroduci|
|00000e50| 6e 67 20 64 69 61 67 72 | 61 6d 73 20 61 6e 64 20 |ng diagr|ams and |
|00000e60| 74 61 62 6c 65 73 20 66 | 72 6f 6d 0a 73 75 62 73 |tables f|rom.subs|
|00000e70| 69 64 69 61 72 79 20 66 | 69 6c 65 73 2e 20 20 54 |idiary f|iles. T|
|00000e80| 68 65 79 20 61 72 65 20 | 73 69 6d 69 6c 61 72 20 |hey are |similar |
|00000e90| 69 6e 20 66 6f 72 6d 20 | 61 6e 64 20 75 73 61 67 |in form |and usag|
|00000ea0| 65 20 74 6f 20 74 68 65 | 20 74 6f 20 74 68 65 0a |e to the| to the.|
|00000eb0| 5c 76 65 72 62 7c 5c 74 | 61 67 72 69 6e 64 7c 20 |\verb|\t|agrind| |
|00000ec0| 63 6f 6d 6d 61 6e 64 2e | 0a 0a 5c 73 75 62 73 75 |command.|..\subsu|
|00000ed0| 62 73 65 63 74 69 6f 6e | 7b 54 68 65 20 7b 5c 74 |bsection|{The {\t|
|00000ee0| 74 20 76 64 6d 7d 20 53 | 74 79 6c 65 20 4f 70 74 |t vdm} S|tyle Opt|
|00000ef0| 69 6f 6e 7d 0a 0a 54 68 | 65 20 7b 5c 74 74 20 76 |ion}..Th|e {\tt v|
|00000f00| 64 6d 7d 20 73 74 79 6c | 65 20 6f 70 74 69 6f 6e |dm} styl|e option|
|00000f10| 20 61 69 64 73 20 74 79 | 70 65 73 65 74 74 69 6e | aids ty|pesettin|
|00000f20| 67 20 6f 66 20 56 44 4d | 20 73 70 65 63 69 66 69 |g of VDM| specifi|
|00000f30| 63 61 74 69 6f 6e 73 3a | 20 69 74 0a 70 72 6f 76 |cations:| it.prov|
|00000f40| 69 64 65 73 20 6d 61 63 | 72 6f 73 20 66 6f 72 20 |ides mac|ros for |
|00000f50| 74 79 70 65 73 65 74 74 | 69 6e 67 20 66 6f 72 6d |typesett|ing form|
|00000f60| 75 6c 61 65 2c 20 64 61 | 74 61 20 74 79 70 65 73 |ulae, da|ta types|
|00000f70| 2c 20 66 75 6e 63 74 69 | 6f 6e 73 2c 0a 6f 70 65 |, functi|ons,.ope|
|00000f80| 72 61 74 69 6f 6e 73 20 | 61 6e 64 20 70 72 6f 6f |rations |and proo|
|00000f90| 66 73 20 69 6e 20 77 68 | 61 74 65 76 65 72 20 74 |fs in wh|atever t|
|00000fa0| 68 65 20 63 75 72 72 65 | 6e 74 6c 79 20 61 70 70 |he curre|ntly app|
|00000fb0| 72 6f 76 65 64 20 56 44 | 4d 20 6d 61 6e 6e 65 72 |roved VD|M manner|
|00000fc0| 0a 68 61 70 70 65 6e 73 | 20 74 6f 20 62 65 2e 20 |.happens| to be. |
|00000fd0| 20 41 20 63 6f 70 79 20 | 6f 66 20 74 68 65 20 75 | A copy |of the u|
|00000fe0| 73 65 72 20 6d 61 6e 75 | 61 6c 20 66 6f 72 20 74 |ser manu|al for t|
|00000ff0| 68 65 20 7b 5c 74 74 20 | 76 64 6d 7d 20 73 74 79 |he {\tt |vdm} sty|
|00001000| 6c 65 20 6f 70 74 69 6f | 6e 0a 63 61 6e 20 62 65 |le optio|n.can be|
|00001010| 20 6f 62 74 61 69 6e 65 | 64 20 62 79 20 74 79 70 | obtaine|d by typ|
|00001020| 69 6e 67 0a 5c 62 65 67 | 69 6e 7b 76 65 72 62 61 |ing.\beg|in{verba|
|00001030| 74 69 6d 7d 0a 20 20 20 | 20 20 6c 61 74 65 78 20 |tim}. | latex |
|00001040| 2f 75 73 72 2f 6c 69 62 | 2f 74 65 78 2f 6d 61 63 |/usr/lib|/tex/mac|
|00001050| 72 6f 73 2f 76 64 6d 2e | 74 65 78 0a 5c 65 6e 64 |ros/vdm.|tex.\end|
|00001060| 7b 76 65 72 62 61 74 69 | 6d 7d 0a |{verbati|m}. |
+--------+-------------------------+-------------------------+--------+--------+
